double to int conversion